Layout Extraction and Veri cation Methodology for CMOS I/O Circuits

نویسندگان

  • Tong Li
  • Sung-Mo Kang
چکیده

This paper presents a layout extraction and veri cation methodology which targets reliability-driven I/O design for CMOS VLSI chip, speci cally to guard against electrostatic discharge (ESD) stress and latchup. We propose a new device extraction approach to identify devices commonly used in CMOS I/O circuits including MOS transistors, eld transistors, di usion and well resistors, diodes and silicon controlled recti ers (SCRs), etc. Unlike other extractors, our extractor identi es circuit-level netlist based on the speci ed ESD stress condition. In addition, novel techniques are proposed for the identi cation of parasitic bipolar junction transistors (BJTs).

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Error Diagnosis for Transistor-Level Veri cation

This paper describes a diagnosis technique for locating design errors in circuit implementations which do not match their functional speci cation. The method e ciently propagates mismatched patterns from erroneous outputs backward into the network and calculates circuit regions which most likely contain the error(s). In contrast to previous approaches, the described technique does not depend on...

متن کامل

Robust Elmore Delay Models Suitable for Full Chip Timing Veri cation of a 600MHz CMOS Microprocessor

In this paper we introduce a method for computing the Elmore delay of MOS circuits which relies on a model of the capacitance of MOS devices and a model of the Elmore delay of individual MOS devices. The resistance of a device is not explicitly modelled. The Elmore models are used to compute the Elmore delay and the 50% point delay of CMOS circuits in a static timing veri er. Elmore delays comp...

متن کامل

Veri cation of Analog and Mixed-Signal Circuits using Hybrid System Techniques

In this paper we demonstrate a potential extension of formal veri cation methodology in order to deal with analog and mixed-signal circuits. In particular, we focus on verifying time-domain properties. The time-dependent behavior of an analog circuit can be described by a system of di erential algebraic equations. To analyze such circuits under all possible input signals and all values of param...

متن کامل

A QCA Layout Design Methodology. Part I

Quantum-dot Cellular Automata (QCA) as a nanoscale transistor-less device technology offers distinguishing advantages over the limitations of CMOS circuits. While more than 2 decades of design progress have been achieved with QCA, a comprehensive composition approach for the layout design in this technology is needed. In this study, the Priority-Phased Decomposition-Driven (PPDD) QCA logic desi...

متن کامل

Some Progress in the Symbolic Veri cation of Timed Automata

In this paper we discuss the practical di culty of analyzing the behavior of timed automata and report some results obtained using an experimental bdd based extension of kronos We have treated exam ples originating from timing analysis of asynchronous boolean networks and CMOS circuits with delay uncertainties and the results outperform those obtained by previous implementations of timed automa...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1998